Buy Used and New Hans J. Ohlbach Books

Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings: 827 (Lecture Notes in Computer Science, 827)

by Hans J. Ohlbach,Dov M. Gabbay

ISBN 13: 9783540582410

Format: Illustrated (564 pages)
Publisher: Springer
Published: 29 Jun 1994

Save for later

Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ... 1244 (Lecture Notes in Computer Science)

by Rudolf Kruse,Dov Gabbay,Hans J. Ohlbach,Andreas Nonnengart

ISBN 13: 9783540630951

Format: Paperback (644 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later